именования теория

именования теория
        ИМЕНОВАНИЯ ТЕОРИЯ — рассматривает один из методов анализа смысла и значения выражений языка — метод отношения именования, его принципы, условия и границы применения. В качестве десигнативных (обозначающих) выражений выступают собственные имена (сингулярные термы) — Москва, Вальтер Скотт, 32 и т.п. Иногда к десигнативным выражениям относят предикатные знаки ( Р. Карнап) и предложения ( Г. Фреге, R Карнап).
        Отношение именования имеет место между выражением языка и конкретным или абстрактным объектом, под именем которого оно выступает. Этот объект называют десигнатором (денотатом) имени. Способ указания на объект, на информацию, которую имя несет о своем объекте, называют смыслом имени. Десигнаты выражений образуют «мир языка». Им могут соответствовать объекты реальности, но имена могут быть и пустыми («Нынешний король Франции лыс», «Карлсон, который живет на крыше», «Круглый квадрат» и т.д.).
        Описательные имена (дескрипции), имеющие логическую структуру (»х)А(х) — «тот (единственный), который...», могут рассматриваться как обозначающие выражения (Г. Фреге), а могут трактоваться как неполные символы (Б. Рассел). Неполные символы вводятся (и устраняются) посредством контекстуальных определений. Введение дескрипций в качестве неполных символов не предполагает включения соответствующих им объектов в универсум теории, т.е. не предполагает умножения сущностей в универсуме рассмотрения. Так, высказывания, в которых встречаются выражения, относящиеся к сущностям такого рода как воображаемые объекты, классы, могут быть заменены посредством контекстуальных определений контекстами, в которых встречаются лишь собственные имена и предикатные знаки (в качестве десигнативных выражений).
        Метод отношения именования базируется на принципах предметности, однозначности и взаимозаменимости. Согласно принципу предметности, предложения говорят о денотатах входящих в них имен. Принцип однозначности означает, что каждое десигнативное выражение является именем только одного объекта. Согласно принципу взаимозаменимости, если два имени обозначают один и тот же объект, то истинное предложение остается истинным, если одно из этих имен заменяется другим («Париж расположен на берегу Сены», «Столица Франции расположена на берегу Сены»). Принцип взаимозаменимости связан с принципом предметности. Если предложения говорят о денотатах, входящих в них, и одно имя объекта заменить другим его именем, то предложение продолжает утверждать то же самое о том же объекте. Однако такая замена допустима не в любых контекстах и может приводить к ложным утверждениям; такого рода противоречие называют антиномией отношения именования. Замена выражений с тем же значением (кодесигнативных выражений) служит критерием разграничения экстенсиональных и неэкстенсиональных (интенсиональных) контекстов. В экстенсиональных контекстах такая замена проходит с сохранением истинности высказываний («9 > 7», «Число планет = 9 », заменяем « 9 » на «число планет» и получаем истинное предложение: «Число планет > 7»),
        Примеры неэкстенсиональных контекстов: «9 с необходимостью больше чем 7» — «F(9 > 7), и верно, что «Число планет = 9»; проводим соответственно замену и из истинных посылок получаем ложное заключение: «Число планет с необходимостью больше, чем 7». Аналогично «Джон знает, что Цицерон был великолепным оратором» заменяем на тождественное по денотату имя «Туллий» и получаем: утверждение «Джон знает, что Туллий был великолепным оратором», истинность которого не гарантирована при истинности посылок. Принцип взаимозаменимости не действует в неэкстенсиональных контекстах. Это зависит от наличия в них особых интенсиональных операторов и предикатов, а также от особой логической структуры этих контекстов (см. Интенсиональные контексты).
        Е.Д. Смирнова

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "именования теория" в других словарях:

  • ИМЕНОВАНИЯ ТЕОРИЯ —     ИМЕНОВАНИЯ ТЕОРИЯ теория, развитая Г. Фреге для семантического анализа формального языка арифметики, пригодного для построения теоретической арифметики, но применяемая как самим Фреге, так и рядом его последователей и для анализа… …   Философская энциклопедия

  • Теория гигантского столкновения — Эту страницу предлагается переименовать в Гипотеза гигантского столкновения. Пояснение причин и обсуждение  на странице Википедия:К переименованию/26 апреля 2012. Возможно, её текущее название не соответствует нормам современного… …   Википедия

  • АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ —     АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости).     Напр., в предложении “Птолемей считал, что Солнце вращается вокруг Земли”, замена… …   Философская энциклопедия

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • ИМЯ — выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… …   Философская энциклопедия

  • ИНТЕНСИОНАЛ —     ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… …   Философская энциклопедия

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • Гриненко, Галина Валентиновна — (р. 15.06.1950) спец. в обл. логич. анализа естеств. языка, истории филос., истории религии, истории мировой культуры; д р. филос. наук, доц. Род. в Москве. Окончила филос. ф т МГУ (1972), асп. по кафедре логики там же (1975). С 1976 по 1996… …   Большая биографическая энциклопедия

  • СЕМАНТИЧЕСКОГО АНАЛИЗА МЕТОДЫ —     СЕМАНТИЧЕСКОГО АНАЛИЗА МЕТОДЫ см. Логическая семантика, Именования теория. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

  • СМЫСЛ (́В ЛОГИКЕ) —     СМЫСЛ см. Именования теория. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»